Minor trivial additions.