Minor corrections after a readthrough