small syntax tweak to follow this version of the "spec"