Cleaning up block comments in defs.py