Very minor cleanup.