fixes #378