Updated from Schmidt's copy.