* Fixed a compilation warning on ARM