fix out-of-bounds issue, renewed INSTALL file