issue #912 is tested and then solved by TDD