[TRIVIAL] some small changes.