fix formatting on github since it doesn't have the def_list plugin