Fixed a basic block number bug