Fixed option delta decoding for delta = 13