Add the source queuing bound correction to the code, and a reference to the correction document to the readme.