typos

Signed-off-by: Jérôme Coupé <jercoupe@gmail.com>