fix ARM: 7587/1: ...