fixes #3422