Fixed computation of final result type. Minor UI changes.