fixes #3423