Minor update to the manual