bugfix for #113