Filed as issue #23.