fix typo propagated through comments of all four files