Mike's new logo, and some minor improvements