Copied a couple of lines from the php style guide.