Another syntax fixes