Minor additions to debug UI