Minor format/style issues fixed