Fix spurious print