Please commit the following fix to a very old, very stupid
error on my part.