Fixed a syntax error that slipped in