Fixes #64 FDP_DEC_EXT.1.4