little syntax tweak