Fixes: #2550 divlist should not be used anymore