small semantic corrections