Silences a warning in fixed-point