Minor corrections to output