Some cleaning: redundant files removed.