Updated because of missing top line pragma for docs.