Adjustments for Bootstrap.  Fixes #20.