Small fix by gregor