Minor change to avoid warnings