fixes #410;