Fix namespace problem in Definition