Fixing a syntax issue