fixes #30;