Copyright & style updates.