small syntax tweak