Minor change of revision file