added modifications to Nachos