Fixed a typo; basic-def page