Cleanup of boostrap.html