@amueller See updated version of my comment; this is actually a different problem than I thought :)