minor correction to earlier commit