fix a minor bug that never comes up