minor changes, final revision