to avoid error messages in the "-Wall" case