Documentation fixing