obvious bugfix (border case, but prevents times bootstrap *and* correct end of check script)