Oops, I forgot to commit this in the last update...