Small fixes while writing documentation.