Thanks for the report! This should be fixed now. Not the usual kind of bug report I find on reddit, but also quite useful.