Some nicer terminal messages. Fixes #15