bugfix for #242