minor cleanup...