Updated Specs to add navigation annotations