Clean up documentation slightly