Fix whitespace in contrib/sylvesters.txt