Check in documentation explicitly