More debugging for #1339