bugfix
(#387)