fixes #3904