Is this a bug? Seems like the elephant head shouldn't move when the lower horizontal pusher can't push left.
yup – fixed! thanks for the bug report