Make DEFDICT look nicer