Issue #123: passing tests