Minor cleanup

Very minor stuff.