Fixed a tiny syntax error