minor bugfix : divlink