Minor corrections to p6, final