applied fix as suggested at bugreport #723818