trivial comments added.