bugfix for navigation changes
forgot, that I already pushed the amended commit ...