Fred Brooks has died