@sefk here is where the bug was not quite fixed, but now is.