Remove unused configuration, fix bug in setting prompt colors.