Minor update.

Minor update concerning Github related files.