[minor cleanup]