fix typo

cc @christophwitzko