Fixing a small annoying bug.