Documentation and slight correction