(minor) corrections from Ivan