Fixed a syntax error accidentally introduced.