fix typo, also this is apparently not covered