fix missing <return>