Shortening the file notice in the prelude.