Guess you fixed this in the following PR.