Correct handle of default marking (=1) in PROD specifications.