Repaired mini-documentation