[1.3.2] printDefinition.php: added labels, added better clarification