Fix bug introduced in d5358cd39fb29f94cc7e205a7e97497c460502f9