Fix a small alignment problem in GUI