OFDM confusion on symbol timing