not necessary (if you're using the above `__init__`)