fixed annoying bug that made no difference in the code