Corrections and explanations in documentation