[#2844] Fixing minor syntax error