use correct terminal colour reset (fixes #4)