- make portlint more happy. PR: ports/112715 Submitted by: chinsan Approved by: rafan (mentor), jmz (maintainer, implicit)