very tiny code cleanup