fix this case (which was obviously borken)