fix typo

Signed-off-by: Thomas Hisch <t.hisch@gmail.com>