a couple of syntax fixes