Tiny amount of syntax fixes