Fix text generation from the man page on Linux