The API documentation for Module#getAttributes() is corrected.