fixed typos
finished propagation