Turns out that it happens a lot and is actually kind of annoying. This reverts commit 07dd475e
07dd475e