That's something I added afterwards. I'll fix it.

Thanks for the good review!