A couple syntax fixes