Correct bad pseudo-code

Signed-off-by: Axel Davy <axel.davy@ens.fr>