Fixes #3312.
Fixes #3311.