Fixes #3312.