Fix display of 'undefined' when there are no @option tags.