small updates to UI and Mavin.as