Minor cleanup on docs.