sudo(8) incorrectly says HOME is reset if env_reset is set

[Tom]

Version: 1.7.4p6-1ubuntu2 on Ubuntu 11.10

What happens:
sudo(8) contains "By default, sudo will set HOME if env_reset or always_set_home are set" and "Set to the home directory of the target user if -i or -H are specified, env_reset or always_set_home are set in sudoers"

What I expect to happen:
sudo(8) should not claim that HOME is set if env_reset is set.

I believe sudo(8) should not claim this because sudo does /not/ set HOME if env_reset is set, which is the expected behaviour according to https://bugs.launchpad.net/ubuntu/+source/sudo/+bug/760140 .

This behaviour is what happens when env_reset is set (I have attached my /etc/sudoers, which is the default Ubuntu /etc/sudoers):
$ sudo env | grep HOME
HOME=/home/tom
$ sudo -H env | grep HOME
HOME=/root

[Launchpad Janitor (janitor)]

Status changed to 'Confirmed' because the bug affects multiple users.