Noting that the bug doesn't occur anymore in 1.520