bugfix for #1413

bugfix for #1413