Very minor corrections to match published version