always eliminate duplicated error messages, display unique
Merge branch 'next' of github.com:zhdk/leihs into next