minor modifications in documentation