Fix some syntax mistakes