Resolves #6237 for that particular error message