^D resets terminal colors; fixes #2