Two nits noted by mje