updated main and propagate

just updating comments for correctness.