Improved documentation, slightly