unnecessary to set this to None (says my IDE).