Some coding syntax fixes