Docstring formatting at top-level leads to failed import when Python is run with -OO