bugfix #9