bugfix for #42