Fixups for Bootstrap 3 going live