last-minute doc update; ready for 0.8