Ref #385: added missing return instruction