bugfix for #728