I forgot to commit the code that fixes that

[permalink] [random]