Revert "made docs a bit nicer with a check"

This reverts commit 5e789d8b759d1977643a5ac99b3291fd30d866f5.