Made a bugfix so small and insignificant that I will not even bother updating the version number.