FIX: minor style error in options.cc
FIX: minor style error in options.cc

cvmfs/cvmfs,djw8605/cvmfs,Moliholy/cvmfs,reneme/cvmfs,Gangbiao/cvmfs,DrDaveD/cvmfs,cvmfs/cvmfs,Gangbiao/cvmfs,alhowaidi/cvmfsNDN,djw8605/cvmfs,Moliholy/cvmfs,trshaffer/cvmfs,DrDaveD/cvmfs,DrDaveD/cvmfs,trshaffer/cvmfs,djw8605/cvmfs,Gangbiao/cvmfs,MicBrain/cvmfs,Gangbiao/cvmfs,reneme/cvmfs,reneme/cvmfs,trshaffer/cvmfs,reneme/cvmfs,MicBrain/cvmfs,alhowaidi/cvmfsNDN,djw8605/cvmfs,trshaffer/cvmfs,DrDaveD/cvmfs,Moliholy/cvmfs,DrDaveD/cvmfs,MicBrain/cvmfs,cvmfs/cvmfs,cvmfs/cvmfs,MicBrain/cvmfs,cvmfs/cvmfs,alhowaidi/cvmfsNDN,DrDaveD/cvmfs,cvmfs/cvmfs,MicBrain/cvmfs,DrDaveD/cvmfs,djw8605/cvmfs,Moliholy/cvmfs,Gangbiao/cvmfs,Moliholy/cvmfs,trshaffer/cvmfs,reneme/cvmfs,alhowaidi/cvmfsNDN,cvmfs/cvmfs,alhowaidi/cvmfsNDN