add textwidth to 72 for filetype=python