fix a mistyped constant