Post add

A post is added. A minor indention in simple tail rec post has been
made.