fixes #3595