bugfix #4