Fixing a minor syntax issue