This document refers to an external file to make sure that works.