Workaround for #3156.