Minor syntax fixes