Minor documentation fixes

Tasks

• Do some minor documentation fixes.

Time estimation

• Complexity: negligible (0.1 day)
• Uncertainty: low (x1.1)
• Reference (adapted)