Spruce up the documentation