Documentation fixes

Some cosmetics and fixes to doc:

• Documentation updated or not needed.
• Test created or not needed.
• Attribution in source files and CONTRIBUTORS.md updated if necessary.