Adding ignoreElements and isEmpty to docs