minor fix to gui