Making changes to meet hyperspec