bye bye Lenny; manual changes
===GT=== #3852