Fixing bug in TypesThat.HaveAttribute