bugfix reported by Friederike