--> try to fix a compiler warning