More precise description of a code example