Sources for the revision eb70b234529a