Fixes #4192.