bugfix #20