have been fatal since it gave a dependency on a nonexistent file, but it worked because of an undocumented bugfeature in make(1): missing source files named *.a are silently assumed to be up to date. Fixed some style bugs (formatting).