Fix test (broken by bdcf0d188 at least on my mac)