Document version 7 and corresponding code