Bugs on EMF extensions for navigation are fixed