FIX: Nyquist velocity size in Dual-PRF dealiasing