minor tweak to (c)