bugfix #7