Minor stuff that was pending.