5.2.4 unmodified