small tweak for the previous commit