Comment by pdw

Don't use die.net! The manpages there were last updated 10+ years ago. It's very unfortunate that that site does so well on Google.