+1325

and various minor edits as usual