Kaj_Sotala comments on Boredom vs. Scope Insensitivity

[Kaj_Sotala]

Thanks! Fixed.