Updated baNdit-core and fixed some typos