User manual tweaks.