fixes #384;