...use slightly fancier print() instead!