You are absolutely right about the logic. However, the usage statement is not intended to be a complete description of the implemented logic. It is just a description of how the program can be used (as opposed to how it is implemented).