This is the correct fix for twitter/bootstrap#7295