Fix potencial bug introduced by a previous patch.