Shortening synopsis so it doesn't line break on hackage