dmwm/DBS — pull request #257 by yuyiguo (2013-11-22 21:29:21+00:00)
Title: Some fixing for Dec. 2013 release.

@giffels

Hi, Manuel:
Please review this pull request for Dec. 2013 release.
Thanks,
yuyi