Fun (?) fact in comments