It should just be uncommented. I've made the change in 6b5bc0d3ad. Good catch!