'It is high time he (change) his bad habits.' The right form of the verb in bracket is --