fixes #3894