Documentation and a minor fix