Various small changes for improved documentation