found a bug, documented in issue #10