minor bugfix
merged