docfix / correctness