Fix synopsis formatting