theme_form_required_marker does not use the render element it receives as a parameter