Made small edits to alu.v