Made FDP_DEC_EXT.1.3 a positive requirement AND tried to clean up the wording. Closes #63