Insignificant but annoying bug corrected