Slight edits to mgui.