Bug in 2a3fde5d2f3608d9b3e0236523bdcece522639a4 solved.