bug fix reported by Ralf