fixes #3421