stupid bug
(#618)