Clarified the code snippet in A-b