Fixes for bootstrap.coffee