See detailed version I added in a3f0c1b.