more comments; one minor formatting fix