Fix bad print

error introduced in commit ec4df3bfb6430b14a0b43db74f204280c7c2e726