Fixed indentation in nachos.threads.Lock