Documentation: code highlight, minor updates