Misc #0000: Minor manual update.