Minor syntactic tweak.