Added the recent spec change to what there is of the manual.