Added df property to posterior object.