small syntax fixes