fix an incorrectly typed const