bugfix #19