Solved spurious printing in issue #12