doc: use 7 not 3