bug fix reported by  user #4