another small UI fix