Small fix from Sylvestre