Fixing a minor syntax error