problem noted in comments