CONTRIB: ACK Ioannis's change to print()