minor fix in print statement
(#552)