Use printf with format string to avoid warning