whoops, syntax fixes