Add original sources from 4.1.2