Added note for result-type assumption (prompted by discussion with Haible); fixed some test warnings.