Fix incorrectly documented non-optional argument