(trivial) LABEL_HEIGHT