is not resolved on some versions (to investigate later)