Another minor manual update.