v0.1.2 -- another docfix