Minor correction in extDB instructions