nicer header

This header is really ugly. I think it should be written normally (not by ascii so-called art).