Great! I'll make some other minor changes, and we will release the updated version. Thank you for spotting the problem!
