syntax highlighting and misc doc fixes