Fixes #4247