Fixing some problems arising from Bootstrap 3 conversion.