Fix minor syntax bugs