Last-minute corrections. This is the last revision.