To replace grumpy with humpy.