updated revision number; to merge into master