Probably fixes an annoying bug