OK, see c9ff38ba84a3dba6dc56fe1b8662ff98d5e5b5f6