Formatting fixes in body.js