Some fixes for the RevKit GUI