Fixes #4269.