Fix some definition lists and stuff