Minor corrections, formatting, updates to changelog