Move file from CVS repo; formatting.