Minor: supressing unused variable warning