doc: oops, put it back...