I've filed this as issue #4.