Small fixes

Small fixes in the documentation.