in case of an unknown command, print what it was...