fix 9.3

Signed-off-by: Sylvain Rabot <sylvain@abstraction.fr>