the general comment is ok; no need for an additional @return statement