Fixed small misprint.