I am not sure why output is here. It is not used anywhere.