topology/algebraic/doldkan: typos