Remarks on sequential estimation of a linear function of two means: The normal case