I thought this bug was fixed anyway.