bugfix #3