fixes #3584