fixes #3392