Fix one minor issue