bugfix #10