Fix issue #23.
Put short label.