bugfix for #20