Small syntactic fixes.