Small corrections to my post