Very minor cleanup