hacky fix for some missing enum numbers - may want to address this in the document-generation end