final tweak to make language more precise, if it is not too late