bugfix #5