bugfix for #2