fixes #3673