fix bugs in infinity bounds