typos in nexys3