M17-NOV14: small style edits