AGMEditor looks almost nice now