fixes #403