Minor `README' fix; silence header-jumping functions.