Fixed a syntax error introduced with the last commit