MINOR CHANGE: Repository cleaning.