Minor tweak to previous commit.