fixes #3663