The problem is resolved by following the advice of Stuart Brady. Thank you. The original bug really should be fixed though.