Minor correction to prod