Minor tidy-ups, removing copyright notice (these are centralized in top-level COPYRIGHT file)