doc: some bits to if-stmt