couple minor tweaks to documentation and one ubuntu compilation issue