fix comment in bootstrap code to point to the correct location