fixes #415