Correct bugs on bounds