Fixes #4889