Fix result propagation bug in sequence + some documentaton fixes