fixes #3475