REDAC: Cleaned the file to render correctly on github.