Correct deleglise-rivat space complexity