minor tweak to syntax