fix a couple of syntax errors