Fixed commented-out consequent as reported by kdhilliard