Fixing doc and minor glitches