Minor improvement in probabilistic parser