You are right – it's a bug. Amazing that neither we nor anyone else has noticed it until now.

It has been fixed and will be available in the next version, due later this month or early next.