A few fixes for the Bootstrap 3 migration. Fixed #280.