Fixed a typo in the header comment for Problem #2.avail.