Fix several syntax errors (Bug #12378).