fixes #3788