UI nit: fix redundant #