web: Minor cleanups.