At least 4 other places have directory names that do not end in a forward slash.  Probably not a big deal -- I was just curious if Linux had some special requirement.