Fixes #3223.