In fact, add a short test to make sure this behavior works correctly, so that someone in the future does not mess this up again