note that this bug is also present in 6.2.7.3753  (and 6.3)