bug fix
(#388)