Corrects some documentation...