another completely minor tweak