Fixes #3311.