What's the motivation to have a long comment instead of a doc string here?