fixes #3766