minor fixes
update mina to 2.0-head-20140512