clean up ec2.mli