The analyzer doesn't know about the one call. Filed as #506