  The editors would like to thank Franz Fritsche for spotting an error in the statement of the stratified comprehension principle for NF. The editors would also like to thank Oliver Seidl for reporting this error and for continuing to check our repairs to correct the error until we got it right.