minor tweak to the previous commit