Fix bug in check_pages and other minor tweaks
#28
| Job | Run time |
|---|---|
| 2m 28s | |
| 2m 28s |
check_pages and other minor tweaks
#28
| Job | Run time |
|---|---|
| 2m 28s | |
| 2m 28s |