Fix two bad source code include into documentation