Some minor corrections, fixed indentation