Fix minor syntax mistakes