Fixed error in ws15 writeup