fix #1733, updated bender theme