bug fix
(#467)