Removed contraction from twelf comment (annoys /lib/cpp)