Minor bugfix with a print