Patch 10: minor changes in labels