Fix for gproxy bot patch

forget to add a line.