fixes #3416