More doc, add assertion